منابع مشابه
Subalgebras of FA-presentable algebras
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First, an example is given to show that the class of finitely generated FA-presentable algebras is not closed under forming finitely generated subalgebras, even wi...
متن کاملUnary FA-Presentable Semigroups
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of interesting decision problems. A particular focus of research has been the classification of those structures of some species that admit automatic presentations. Whilst some successes have been obtained, this appears to be a difficult pro...
متن کاملFA-presentable Groups and Rings
We consider structures which are FA-presentable. It is known that an FA-presentable finitely generated group is virtually abelian; we strengthen this result by showing that an arbitrary FA-presentable group is locally virtually abelian. As a consequence, we prove that any FA-presentable ring is locally finite; this is a significant restriction and allows us to say a great deal about the structu...
متن کاملCHEBYSHEV SUBALGEBRAS OF JB-ALGEBRAS
In this note, we characterize Chebyshev subalgebras of unital JB-algebras. We exhibit that if B is Chebyshev subalgebra of a unital JB-algebra A, then either B is a trivial subalgebra of A or A= H R .l, where H is a Hilbert space
متن کاملREDEFINED FUZZY SUBALGEBRAS OF BCK/BCI-ALGEBRAS
Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2014
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-014-0293-0